
/* Start of parameters transferred from Linux kernel configuration */

#ifdef CONFIG_SYS_SDRAM_SIZE
#undef CONFIG_SYS_SDRAM_SIZE
#endif
#define CONFIG_SYS_SDRAM_SIZE	0x10000000

#ifdef CONFIG_SYS_KERNEL_SDRAM_SIZE
#undef CONFIG_SYS_KERNEL_SDRAM_SIZE
#endif
#define CONFIG_SYS_KERNEL_SDRAM_SIZE	0x08000000

/* End of parameters transferred from Linux kernel configuration */

